...our activit 5a8 ies in the fields of theoretical computer science include: concurrency petri nets, event structures, etc.;
www.ipipan.gda.pl
...the gdansk branch of the institute of computer science , polish academy of sciences.
www.ipipan.gda.pl/~wiesiek
...of gdansk, institute of mathematics, division of computer science. the project team project...
www.ipipan.gda.pl/grants/kbn99
8th category theory in computer science, edinburgh, electronic notes in theoretical computer science, vol.... ...przyjęta do mathematical structures in computer science, 2000. w druku. doniesienia...
www.ipipan.gda.pl/grants/kbn99/opis-dlugi.htm
...programming : latex 2e , bibtex mathematical structures in computer science : latex 2e | latex 2....
www.ipipan.gda.pl/~andrzej/homepage/tex-pub.htm
mathematical foundations of computer science , a. mazurkiewicz i z.... ...lecture notes in computer science, vol. 68, springer, 1979.
www.ipipan.gda.pl/grants/kbn99/bibl.html
goldschlager, a.lister. computer science a modern introduction. (rozdz.
www.ipipan.gda.pl/~stefan/dydaktyka/2003-2004/sztinteligencja
also presented at category theory in computer science , edinburgh, 1999. marek a.
www.ipipan.gda.pl/grants/kbn99/papers.html
...the polish academy of sciences, institute of computer science, gdansk division im ug stands for the university...
www.ipipan.gda.pl/grants/kbn99/team.html
...pan (polish academy of sciences, institute of computer science, gdansk division) and by im ug (university of...
www.ipipan.gda.pl/grants/proj-ipi-ug/index.html
www.ipipan.gda.pl/grants/kbn99/meet-96.html
bednarczyk category theory in computer science. edinburgh, scotland, september 1999.
www.ipipan.gda.pl/grants/kbn99/trips.html
...in logic programming 86 (lecture notes in 181 computer science, no. 264, tokyo, japan,...
www.ipipan.gda.pl/~marek/objects/toa/oobib.html
electronic notes in theoretical computer science, vol.81, august 2003.
www.ipipan.gda.pl/~stefan/papers/details.html
...systems", proceedings of the 18th acm annual computer science conference, acm, inc., new york, ny, 1990, pp.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-3.14.0.4.html
...processing tasc, france electronic notes in theoretical computer science formal aspects of computing (manchester) formal methods in...
www.ipipan.gda.pl/~stefan/urle.html
...systems," proceedings of the 18th acm annual computer science conference , association for computing machinery, new york, new...
www.ipipan.gda.pl/~marek/objects/toa/testbib.html
5a8available in hard copy from brown university, computer science department, and postscript format via anonymous ftp from...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.52.html
...development (in polish) phd thesis, institute of computer science, polish academy of sciences, warsaw 2000.
www.ipipan.gda.pl/~wiesiek/papers.html
wg 89 workshop on graphtheoretic concepts in computer science, lncs 411, springer-verlag (1989) /ns91/ nagl, schuerr:...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-8.14.1.1.html
...on object-oriented programming, lecture notes on computer science, volume 276 , springer verlag, new york, new york,...
www.ipipan.gda.pl/~marek/objects/toa/managebib.html
...by stefan sokolowski re reports in theoretical computer science: language & ontologies 81. graf...
www.ipipan.gda.pl/~stefan/papers/listing.html 198
www.ipipan.gda.pl/~marek/objects/toa/reusebib.html
...for copyright reasons) re reports in theoretical computer science language & ontologies algebraic topology and concurrency type theory...
www.ipipan.gda.pl/~stefan/papers/areas.html
...ics.uci.edu) department of information and computer science university of california, irvine irvine, ca 92717 work...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.12.0.2.html
...send a request to: judith burgess (obj3) computer science laboratory sri international 333 ravenswood ave.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.9.html
...93 14:39:13 gmt organization: dept computer science, university of manchester, u.k.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.33.html
...sather is under development at the international computer science institute. sather has clean 5a8 ...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.12.html
...121 kb)) re interests: mathematical foundations of computer science (see my papers and reports recently, i am...
www.ipipan.gda.pl/~stefan/index.html
www.ipipan.gda.pl/~andrzej/papers/quantum-comp.html
www.ipipan.gda.pl/~andrzej/papers/protocols.html
...x.2003 how does it work? cryptography the science (and the art ) of converting texts it involves...
www.ipipan.gda.pl/~andrzej/papers/ecom-sli.pdf
www.ipipan.gda.pl/~marek/objects/toa/oomethod/mcr.html
...chicago opublikował fragment swojego wniosku o grant national science f 5a2 oundation, odpowiednika naszego kbn, w postaci artykułu zatytułowanego...
www.ipipan.gda.pl/~andrzej/papers/signet-oct-2002.html
...languages. dept of computer science, stanford university, march 1992.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-5.html
www.ipipan.gda.pl/~marek/objects/toa/metricsbib.html
the oot environment is designed for teaching computer science. it is being used...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.11.html
lecture notes in computer science series, number 334.) c.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-8.13.0.2.html
www.ipipan.gda.pl/~marek/objects/toa/moose.html
...volume 526 of lecture no- tes in computer science, pages 548-568. springer-...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.8.html
arjuna project team the department of computing science, the university, newcastle upon tyne.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.2.html
...and services are used in industry, business, engineering, science, medicine and education in approximately 110 countries.
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-3.8.6.3.html
...12:21:14 gmt organization: electrotechnical laboratory, tsukuba science city i m pleased to announce our second...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.20.0.12.html
...hall dept. of computer science and engineering university of notre dame (219)-631-...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.19.0.2.html
...automating the maintenance of structure-oriented environments, computer science department carnegie-mellon university, technical report cmu-cs-...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-8.12.0.4.html
...davison dept. of computer science university of melbourne parkville, victoria 3052 australia email:...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.46.html
...alpha release keywords: languages, distributed, interpreted organization: computer science, trinity college dublin date: mon, 15 may 1995...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.20.0.9.html
...drawing algorithms organization: brown university department of computer science date: wed, 30 jun 1993 06:45:48...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.31.html
...student dept. of computer science & engineering university of washington http://www.cs.washington....
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.20.0.6.html
...many different forms. computer science refers to strachey s original definitions of polymorphism,...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-2.1.0.2.html
darren platt, department of computer science darrenp dibbler.cs.monash.edu.au monash university,...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-11.10.0.16.html
...twente, dept. of computer science date: fri, 9 jul 1993 11:05:51...
www.ipipan.gda.pl/~marek/objects/faq/oo-faq-s-10.1.0.1.html